type T = A &&
